- Äquivalenzbeziehung
- (f)отношение эквивалентности
Немецко-русский математический словарь. 2013.
Немецко-русский математический словарь. 2013.
Allgemeingültigkeit — In einer formalen Logik oder einem Kalkül bezeichnet man eine Formel als allgemeingültig, wenn sie von jeder beliebigen Interpretation erfüllt wird. Die Allgemeingültigkeit ist also ein spezieller Fall der Erfüllbarkeit einer Formel. Während die… … Deutsch Wikipedia